退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:DEmONIC编程:单粒子平衡热力学的计算语言及其形式语义。
Samson Abramsky; Dominic Horsman;
机译:量子编程语言的正式元级分析框架
机译:Matita交互式定理证明中编程语言的形式元理论
机译:用于班次调度问题的整数编程建模的形式语言
机译:DEMONIC编程:单粒子平衡热力学的一种计算语言及其形式语义
机译:一种用于并发编程语言设计和语义的重写方法。
机译:对编程语言的大规模发展中的标点平衡的更正
机译:DEmONIC编程:单粒子的计算语言 平衡热力学及其形式语义学
机译:使用综合局部特性模型高效计算模拟热力学特性和相平衡特性的系统和方法
机译:利用综合局部模型高效计算模拟热力学性质和相平衡特征的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。